Model theory - PDFSEARCH.IO - Document Search Engine

Model theory
Results: 13417

#	Item
821	Nowcasting Events from the Social Web with Statistical Learning VASILEIOS LAMPOS and NELLO CRISTIANINI, University of Bristol, UK We present a general methodology for inferring the occurrence and magnitude of an event or Add to Reading List Source URL: www.lampos.net Language: English - Date: 2013-12-12 21:06:10 Machine learning Statistical methods Econometrics Model selection Estimation theory Feature selection Lasso Supervised learning Bootstrapping Pattern recognition Least squares Linear regression
822	Empirical Study of Logic-Based Modules: Cheap Is Cheerful Chiara Del Vescovo1 , Pavel Klinov2 , Bijan Parsia1 , Ulrike Sattler1 , Thomas Schneider3 , and Dmitry Tsarkov1 1 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:05 Information science Semantic Web Knowledge representation Technical communication Artificial intelligence Ontology Web Ontology Language Model theory Module Structure Theory Description logic
823	Spurious Disambiguation Error Detection Claudio Sacerdoti Coen? and Stefano Zacchiroli? Department of Computer Science, University of Bologna Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-28 04:59:48 Model theory Formal languages Mathematical logic Symbol Interpretation Structure Substitution Golden ratio base
824	TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.1.B-2 Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-03-07 09:24:10 Systems theory Manfred Broy Scientific modelling Granularity Dynamical system System Economic model
825	Outline Truth, Subderivations and the Liar Truth, Add to Reading List Source URL: cas.uchicago.edu Language: English - Date: 2016-02-18 15:24:26 Philosophical logic Mathematical logic Theories of truth Philosophy of language Model theory Liar paradox Truth Lie Argument Law of excluded middle First-order logic Atomic sentence
826	POSTDOC WORK PROGRAM FOR OLENA V. MUL Scientific Coordinator: Delfim F. M. Torres Title of the proposed investigations: Analysis of Vibrations in Nonlinear Dynamical Systems Proposed start date: Duration: 12 mon Add to Reading List Source URL: ceoc.mat.ua.pt Language: English - Date: 2008-07-17 10:24:35 Dynamical systems Systems Systems theory Control theory Partial differential equation Nonlinear system Vibration Mathematical model
827	A Pheromone-Based Utility Model for Collaborative Foraging Liviu Panait Department of Computer Science George Mason University Abstract Add to Reading List Source URL: cs.gmu.edu Language: English - Date: 2005-02-21 13:23:29 Symbiosis Systems theory Ant colony optimization algorithms Behavioral ecology Superorganisms Pheromone Ant Trail pheromone Stigmergy Artificial ants Eusociality Swarm behaviour
828	1 Unified Model of Bivacuum, Particles Duality, Electromagnetism, Gravitation & Time. The Superfluous Energy of Asymmetric Bivacuum Alex Kaivarainen Add to Reading List Source URL: www.emergentmind.org Language: English - Date: 2011-06-07 04:23:37 Quantum field theory Elementary particles Particle physics Quantum mechanics Science Electron Boson Lepton Virtual particle Vacuum state Pauli exclusion principle Matter
829	CP VIOLATION IN PSEUDO-DIRAC FERMION OSCILLATIONS SEYDA IPEK UNIVERSITY OF WASHINGTON Fermilab Add to Reading List Source URL: theory.fnal.gov Language: English - Date: 2015-04-03 15:23:29 Particle physics Standard Model Quantum field theory Electroweak theory Fermions CP violation Baryogenesis Dirac fermion Dirac equation CabibboKobayashiMaskawa matrix Yukawa interaction
830	Spectral Graph Theory Lecture 21 Spectral Partitiong in a Stochastic Block Model Daniel A. Spielman Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2015-12-08 15:18:03 Matrix theory Linear algebra Numerical linear algebra Matrices Singular value decomposition Eigenvalues and eigenvectors Graph partition Matrix Symmetric matrix Eigendecomposition of a matrix PerronFrobenius theorem

UPDATE